Robust Symbolic-Numeric-Graphic Software
نویسنده
چکیده
Issues in the field of intelligent scientific computing are addressed from the point of view of the development of a problem solving environment. These issues include how symbolic, numeric and graphic code should be linked, how a system might be constructed so that it is robust and survives a changing environment, and whether language translators have a role in the retention of the algorithmic content of existing code. The need for a substantial numerical library in Lisp is underlined. Experience has led us to the conclusion that more homogeneity rather than less makes for stronger software.
منابع مشابه
G2 Matrix Manifold: A Software Construct
An ensemble of symbolic, numeric and graphic computations developed to construct the Octonionic and compact G2 structures in Mathematica 8.0. Cayley-Dickenson Construction symbolically applied from Reals to Octonions. Baker– Campbell–Hausdorff formula (BCH) in bracket form verified for Octonions. Algorithms for both exponentiation and logarithm of Octonions developed. Exclusive validity of vect...
متن کاملLearning with Technology: Similarities in Mathematics & Writing
In this paper, we will identify similarities in the learning and the creative process using technology in mathematics and writing at the college level and draw a parallel. Specifically, we will examine the parallel on learning symbolic representations at different levels with special attention to how controversial technologies--such as numeric, graphic, and symbolic calculators in math or word ...
متن کاملA Symbolic-Numeric Software Package for the Computation of the GCD of Several Polynomials
This survey is intended to present a package of algorithms for the computation of exact or approximate GCDs of sets of several polynomials and the evaluation of the quality of the produced solutions. These algorithms are designed to operate in symbolic-numeric computational environments. The key of their effectiveness is the appropriate selection of the right type of operations (symbolic or num...
متن کاملQuantitative analysis for symbolic heap bounds of CPS software
One important quantitative property of CPS (Cyber-Physical Systems) software is its heap bound for which a precise analysis result needs to combine shape analysis and numeric reasoning. In this paper, we present a framework for statically finding symbolic heap bounds of CPS software. The basic idea is to separate numeric reasoning from shape analysis by first constructing an ASTG (Abstract Stat...
متن کاملSolving polynomial systems via symbolic-numeric reduction to geometric involutive form
We briefly survey several existing methods for solving polynomial system with inexact coefficients, then introduce our new symbolic-numeric method which is based on the geometric (Jet) theory of partial differential equations. The method is stable and robust. Numerical experiments illustrate the performance of the new method.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001